Technical Perspective: Toward reliable programming for unreliable hardware
نویسندگان
چکیده
منابع مشابه
Reliable Software for Unreliable Hardware - A Cross-Layer Approach
xiv 2) The Instruction Error Masking Index estimates the probability that an error at an instruction will ultimately be masked until the final program output, i.e. does not become visible at the application output and therefore is denoted as ‘masked’. 3) In case the error is not masked, the Error Propagation Index estimates how many outputs will be affected by the unmasked error. These instruct...
متن کاملReliable Contracts for Unreliable Half-Duplex Communications
Recent trends in formal models of web services description languages and session types focus on the asynchronicity of communications. In this paper, we study a core of these models that arose from our modelling of the Sing# programming language, and demonstrate correspondences between Sing# contracts, asynchronous session behaviors, and the subclass of communicating automata with two participan...
متن کاملA Reliable Transport Protocol for Unreliable Networks
Unstable networks such as wireless mobile ad hoc networks (MANETs) are radically different from traditional fixed networks like the Internet. The success of these emerging networks is determined by the performance of the communication layers and the transport layer. For the latter, many protocols have been proposed based on adaptations of TCP for such unstable networks. In this paper, we claim ...
متن کاملReliable Networks with Unreliable Sensors
Wireless sensor networks (WSNs) deployed in hostile environments suffer from a high rate of node failure. We investigate the effect of such failure rate on network connectivity. We provide a formal analysis that establishes the relationship between node density, network size, failure probability, and network connectivity. We show that large networks can maintain connectivity despite a significa...
متن کاملReliable Computation on Unreliable Hardware: Can We Have Our Digital Cake and Eat It?
The digital abstraction allowed us to achieve unprecedented scalability in both hardware and software complexity. Yet, circuit level digital abstraction is becoming increasingly expensive to maintain. We show it’s possible to raise the digital abstraction up to software layers and yet provide correctnession up to software layers and yet provide correctness
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 2016
ISSN: 0001-0782,1557-7317
DOI: 10.1145/2961890